wrong inference

Examples

Nothing found